formal deducibility

См. также в других словарях:

• МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М …   Философская энциклопедия

• КЁРРИ — (Curry), Хаскелл Брукс (р. 12 сент. 1900) – амер. логик, математик и философ, проф. Пенсильванского ун та с 1941. Большинство соч. К. посвящено логике комбинаторной и связанным с ней вопросам общей теории формальных систем и исчислений. Осн.… …   Философская энциклопедия

• Curry — Cur|ry 〈[kœ̣rı] od. [ kʌ̣rı] m. 6 oder n. 15〉 I 〈unz.〉 Mischung scharfer indischer Gewürze II 〈zählb.; Kochk.〉 indisches Gericht aus Fleisch, Fisch od. Gemüse, das mit Curry (I) gewürzt u. mit Reis serviert wird [engl. <Tamil kari] * * *… …   Universal-Lexikon

• Haskell Brooks Curry — (* 12. September 1900 in Millis, Massachusetts, USA; † 1. September 1982 in State College, Pennsylvania, USA) war ein US amerikanischer Logiker und Mathematiker. Inhaltsverzeichnis 1 Leben 2 Werk 3 …   Deutsch Wikipedia

• List of philosophy topics (D-H) — DDaDai Zhen Pierre d Ailly Jean Le Rond d Alembert John Damascene Damascius John of Damascus Peter Damian Danish philosophy Dante Alighieri Arthur Danto Arthur C. Danto Arthur Coleman Danto dao Daodejing Daoism Daoist philosophy Charles Darwin… …   Wikipedia

• logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… …   Universalium

• History of logic — Philosophy ( …   Wikipedia

• Entailment — For other uses, see Entail (disambiguation). In logic, entailment is a relation between a set of sentences (e.g.,[1] meaningfully declarative sentences or truthbearers) and a sentence. Let Γ be a set of one or more sentences; let S1 be the… …   Wikipedia

• applied logic — Introduction       the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… …   Universalium

• Rule of inference — In logic, a rule of inference (also called a transformation rule) is a function from sets of formulae to formulae. The argument is called the premise set (or simply premises ) and the value the conclusion . They can also be viewed as relations… …   Wikipedia

• model theory — The use of a model to test for the consistency of an axiomatized system is older than modern logic. Descartes s algebraic interpretation of Euclidean geometry provides a way of showing that if the theory of real numbers is consistent, so is the… …   Philosophy dictionary